- atomic sentence
- мат.атомарное высказывание
English-Russian scientific dictionary. 2008.
atomic sentence
Смотреть что такое "atomic sentence" в других словарях:
Atomic sentence — In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example The dog… … Wikipedia
atomic formula/sentence — Technically, an atomic formula is one with no logical constants . An atomic sentence is an atomic formula with no free variables . Intuitively, it is the kind of sentence on the basis of which one might start to construct logical complexity: a… … Philosophy dictionary
Atomic formula — In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms… … Wikipedia
Sentence (mathematical logic) — This article is a technical mathematical article in the area of predicate logic. For the ordinary English language meaning see Sentence, for a less technical introductory article see Statement (logic). In mathematical logic, a sentence of a… … Wikipedia
Atomic Spies — and Atom Spies are terms that refer to various people in the United States, Great Britain, and Canada who are thought to have illicitly given information about nuclear weapons production or design to the Soviet Union during World War II and the… … Wikipedia
atomic — formula/sentence … Philosophy dictionary
Debate over the atomic bombings of Hiroshima and Nagasaki — The Fat Man mushroom cloud resulting from the nuclear explosion over Nagasaki rises 18 km (11 mi, 60,000 ft) into the air from the hypocenter … Wikipedia
protocol sentence — ▪ philosophy in the philosophy of Logical Positivism, a statement that describes immediate experience or perception and as such is held to be the ultimate ground for knowledge. Such a statement is also called an atomic statement,… … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Semantic theory of truth — A semantic theory of truth is a theory of truth in the philosophy of language which holds that truth is a property of sentences.[1] Contents 1 Origin 2 Tarski s Theory 3 See also … Wikipedia
